09 Jul 2018

File Manager for DrRacket

作者:Syntacticlosure

标签:DrRacket, Plugin

在DrRacket上面写代码是一件痛苦的事情,因为没有文件管理器,所以当有很多文件需要编辑的时候需要 一个一个打开,而且容易打开许多窗口,切换起来也及其麻烦。

为了解决这个问题,我写了一个插件。

more →